翻訳と辞書
Words near each other
・ Proposition 7
・ Proposition 8 (disambiguation)
・ Proposition bet
・ Proposition for a Revolution
・ Proposition Infinity
・ Proposition Joe
・ Proposition Player
・ Proposition U
・ Propositional attitude
・ Propositional calculus
・ Propositional directed acyclic graph
・ Propositional formula
・ Propositional function
・ Propositional proof system
・ Propositional representation
Propositional variable
・ Propositiones ad Acuendos Juvenes
・ Propositions (album)
・ Propositive mood
・ Proposta per les Illes
・ Propoxate
・ Propoxur
・ Propoxycaine
・ Propp
・ ProppaNOW
・ Proppen
・ Propper
・ Propranolol
・ Propre River, Quebec
・ Propria Cures


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Propositional variable : ウィキペディア英語版
Propositional variable
In mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is a variable which can either be true or false. Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher logics.
==Uses==
Formulas in logic are typically built up recursively from some propositional variables, some number of logical connectives, and some logical quantifiers. Propositional variables are the atomic formulas of propositional logic.
;Example
In a given propositional logic, we might define a formula as follows:
*Every propositional variable is a formula.
*Given a formula ''X'' the negation ''¬X'' is a formula.
*Given two formulas ''X'' and ''Y'', and a binary connective ''b'' (such as the logical conjunction ∧), then ''(X b Y)'' is a formula. (Note the parentheses.)
In this way, all of the formulas of propositional logic are built up from propositional variables as a basic unit. Propositional variables should not be confused with the metavariables which appear in the typical axioms of propositional calculus; the latter effectively range over well-formed formulae.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Propositional variable」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.